Representing Reasoning/Logic in System Dynamics Models
نویسنده
چکیده
This paper intends to fuel a thought about representing and extracting reasoning in System Dynamics models. A perspective on the flow of information as policies in the system and also flow of information as logic or reasoning in the model is discussed. It also discusses how influences in the model are implemented as rate equations and challenges the impossibility in deriving these rate equations from the qualitative model. This paper raises concerns that the qualitative SD model normally describes the principle behaviour of the system in dual mode whether a growth or decline and omits the structure of reasoning in the model. Finally this paper argues that the logical structure of policies, if effectively represented at the formulation stage would open a channel for a revived and renewed process of developing SD models
منابع مشابه
Relating Linear and Branching Time Temporal Models*
Temporal logic provides techniques to build formal models of dynamics: processes are described by temporal models that satisfy some set of temporal axioms. This approach may be used to describe the dynamics of (material) processes in the external world, as well as mental or computational processes. In our research we focus on formal models for the behaviour of (interactive) complex reasoning sy...
متن کاملA Causal Approach for Modelling Spatial Dynamics∗ A Preliminary Report
We propose a causal approach, involving events identified by their causes and effects, for the modelling of spatial dynamics. The suitability of situation calculus as a high-level formalism for representing and reasoning about spatial dynamics is explored and the causal framework is formalised using the same. A systematic illustration of the manner in which various aspects of axiomatic qualitat...
متن کاملUsing Defeasible Logic Programming for Argumentation-Based Decision Support in Private Law
Legal reasoning is one of the most obvious application areas for computational models of argumentation as the exchange of arguments and counterarguments is the established means for making decisions in law. In this paper we employ Defeasible Logic Programming (DeLP) for representing legal cases and for giving decision-support, exemplary for private law. We give a formalization of legal provisio...
متن کاملDynamical formation control of wheeled mobile robots based on fuzzy logic
In this paper, the important formation control problem of nonholonomic wheeled mobile robots is investigated via a leader-follower strategy. To this end, the dynamics model of the considered wheeled mobile robot is derived using Lagrange equations of motion. Then, using ADAMS multi-body simulation software, the obtained dynamics of the wheeled system in MATLAB software is verified. After that, ...
متن کاملFrom Probabilistic Horn Logic to Chain Logic
Probabilistic logics have attracted a great deal of attention during the past few years. Where logical languages have, already from the inception of the field of artificial intelligence, taken a central position in research on knowledge representation and automated reasoning, probabilistic graphical models with their associated probabilistic basis have taken up in recent years a similar positio...
متن کامل